Semantics on Flowchart Programs and the Free Conway Theories

Several useful identities involving the fixed point or itération opération are conséquences ofjust the Conway theory axioms. In this paper we give several characterizations of thefree Conway théories including a concrete description based on "aperiodîc" homomorphisms of flowehart schemes. It follows from this concrete description that the équations that hold in Conway théories are exactly the valid "group-free" équations of itération théories, moreover, the equational theory of Conway théories is PSPACE-complete. © Elsevier, Paris Résumé. Plusieurs identités mettant en jeu les opérateurs de point fixe ou d'itération sont conséquences des seuls axiomes de la théorie de Conway. Nous donnons dans ce papier plusieurs caractérisations des théories libres de Conway, dont une description concrète basée sur des morphismes "apériodiques" de systèmes d'organigrammes. Cette description concrète entraîne que les équations valides dans les théories de Conway sont exactement les équations valides "sansgroupes" des théories d'itération, et de plus, que la théorie équationnelle des théories de Conway est YSPACE-complète. © Elsevier, Paris